int library_function();
